As so often with his published texts, the experience of reading Nietzsche’s notebooks is at once mesmerising and infuriating. One is in the presence of a thinker who, on the one hand, meditates deeply on fundamental issues in philosophy and psychology but who, on the other, refuses to be pinned down. The fact that Nietzsche’s style is so elusive can account for the enormously disparate interpretations of his work and it is no surprise that his notebooks have been read in (...) the most extreme fashion. The notebooks have a chequered history having been variously touted as the crowning achievement of his philosophy, and as not repaying the effort of reading. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

While many bibliometric techniques have been employed to represent the structure of academic research communities over the years, much of this work has been conducted on scientific fields as opposed to those in the humanities. Here we use graphing techniques to present two networks that allow us to explore the structure of a subset of the philosophy community by mapping the citations between philosophical texts on the topic of ontology (the study of what exists). We find a citation gap between (...) philosophers studying material and abstract objects, and between analytic and continental ontologists, but other predictions were not confirmed by this method. We conclude by considering several additional methods for further exploring both the structure of philosophy and other disciplines in the humanities. (shrink)

Expert skill in music performance involves an apparent paradox. On stage, expert musicians are required accurately to retrieve information that has been encoded over hours of practice. Yet they must also remain open to the demands of the ever-changing situational contingencies with which they are faced during performance. To further explore this apparent paradox and the way in which it is negotiated by expert musicians, this article profiles theories presented by Roger Chaffin, Hubert Dreyfus and Tony and Helga Noice. For (...) Chaffin, expert skill in music performance relies solely upon overarching mental representations, while, for Dreyfus, such representations are needed only by novices, while experts rely on a more embodied form of coping. Between Chaffin and Dreyfus sit the Noices, who argue that both overarching cognitive structures and embodied processes underlie expert skill. We then present the Applying Intelligence to the Reflexes (AIR) approach?a differently nuanced model of expert skill aligned with the integrative spirit of the Noices? research. The AIR approach suggests that musicians negotiate the apparent paradox of expert skill via a mindedness that allows flexibility of attention during music performance. We offer data from recent doctoral research conducted by the first author of this article to demonstrate at a practical level the usefulness of the AIR approach when attempting to understand the complexities of expert skill in music performance. (shrink)

The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of the categories identified (...) and defined by a top-level ontology is integrated with the others in a coherent fashion. Basic Formal Ontology (BFO) has from the beginning included function as one of its categories, exploiting a version of the etiological account of function that is framed at a level of generality sufficient to accommodate both biological and artifactual functions. This account has been subjected to a series of criticisms and refinements. We here articulate BFO’s account of function, provide some reasons for favoring it over competing views, and defend it against objections. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

A wide variety of ontologies relevant to the biological and medical domains are available through the OBO Foundry portal, and their number is growing rapidly. Integration of these ontologies, while requiring considerable effort, is extremely desirable. However, heterogeneities in format and style pose serious obstacles to such integration. In particular, inconsistencies in naming conventions can impair the readability and navigability of ontology class hierarchies, and hinder their alignment and integration. While other sources of diversity are tremendously complex and challenging, agreeing (...) a set of common naming conventions is an achievable goal, particularly if those conventions are based on lessons drawn from pooled practical experience and surveys of community opinion. We summarize a review of existing naming conventions and highlight certain disadvantages with respect to general applicability in the biological domain. We also present the results of a survey carried out to establish which naming conventions are currently employed by OBO Foundry ontologies and to determine what their special requirements regarding the naming of entities might be. Lastly, we propose an initial set of typographic, syntactic and semantic conventions for labelling classes in OBO Foundry ontologies. Adherence to common naming conventions is more than just a matter of aesthetics. Such conventions provide guidance to ontology creators, help developers avoid flaws and inaccuracies when editing, and especially when interlinking, ontologies. Common naming conventions will also assist consumers of ontologies to more readily understand what meanings were intended by the authors of ontologies used in annotating bodies of data. (shrink)

Social norms – rules governing which behaviours are deemed appropriate or inappropriate within a given community – are typically taken to be uniquely human. Recently, this position has been challenged by a number of philosophers, cognitive scientists, and ethologists, who have suggested that social norms may also be found in certain non-human animal communities. Such claims have elicited considerable scepticism from norm cognition researchers, who doubt that any non-human animals possess the psychological capacities necessary for normative cognition. However, there is (...) little agreement among these researchers about what these psychological prerequisites are. This makes empirical study of animal social norms difficult, since it is not clear what we are looking for and thus what should count as behavioural evidence for the presence (or absence) of social norms in animals. To break this impasse, we offer an approach that moves beyond contested psychological criteria for social norms. This approach is inspired by the animal culture research program, which has made a similar shift away from heavily psychological definitions of ‘culture’ and to become organized around a cluster of more empirically tractable concepts of culture. Here, we propose an analogous set of constructs built around the core notion of a normative regularity, which we define as a socially maintained pattern of behavioural conformity within a community. We suggest methods for studying potential normative regularities in wild and captive primates. We also discuss the broader scientific and philosophical implications of this research program with respect to questions of human uniqueness, animal welfare and conservation. (shrink)

Building Information Modelling (BIM) is a process for managing construction project information in such a way as to provide a basis for enhanced decision-making and for collaboration in a construction supply chain. One impediment to the uptake of BIM is the limited interoperability of different BIM systems. To overcome this problem, a set of Industry Foundation Classes (IFC) has been proposed as a standard for the construction industry. Building on IFC, the ifcOWL ontology was developed in order to facilitate representation (...) of building data in a consistent fashion across the Web by using the Web Ontology Language (OWL). This study presents a critical analysis of the ifcOWL ontology and of the associated interoperability issues. It shows how these issues can be resolved by using Basic Formal Ontology (ISO/IEC 21838-2) as top-level architecture. A set of competency questions is used as the basis for comparison of the original ifcOWL with the enhanced ontology, and the latter is used to align with a second ontology – the ontology for building intelligent environments (DOGONT) – in order to demonstrate the added value derived from BFO by showing how querying the enhanced ifcOWL yields useful additional information. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

The National Center for Biomedical Ontology is now in its seventh year. The goals of this National Center for Biomedical Computing are to: create and maintain a repository of biomedical ontologies and terminologies; build tools and web services to enable the use of ontologies and terminologies in clinical and translational research; educate their trainees and the scientific community broadly about biomedical ontology and ontology-based technology and best practices; and collaborate with a variety of groups who develop and use ontologies and (...) terminologies in biomedicine. The centerpiece of the National Center for Biomedical Ontology is a web-based resource known as BioPortal. BioPortal makes available for research in computationally useful forms more than 270 of the world's biomedical ontologies and terminologies, and supports a wide range of web services that enable investigators to use the ontologies to annotate and retrieve data, to generate value sets and special-purpose lexicons, and to perform advanced analytics on a wide range of biomedical data. (shrink)

Mereological nihilism is the thesis that composite objects—objects with proper parts—do not exist. Nihilists generally paraphrase talk of composite objects F into talk of there being “xs arranged F-wise” . Recently several philosophers have argued that nihilism is defective insofar as nihilists are either unable to say what they mean by such phrases as “there are xs arranged F-wise,” or that nihilists are unable to employ such phrases without incurring significant costs, perhaps even undermining one of the chief motivations for (...) nihilism. In this paper I defend nihilism against these objections. A key theme of the paper is this: if nihilists need to employ such phrases as “there are xs arranged F-wise,” non-nihilists will need to do so as well. Accordingly, any costs incurred by the nihilist when she employs such phrases will be shared by everyone else. What’s more, such phrases are intelligible when employed by the nihilist, as well as when they are employed by the non-nihilist, insofar as analyses of such phrases will not essentially involve mereological concepts incompatible with nihilism. (shrink)

BioPortal is a Web portal that provides access to a library of biomedical ontologies and terminologies developed in OWL, RDF(S), OBO format, Protégé frames, and Rich Release Format. BioPortal functionality, driven by a service-oriented architecture, includes the ability to browse, search and visualize ontologies (Figure 1). The Web interface also facilitates community-based participation in the evaluation and evolution of ontology content.

J. N. (Jitendra Nath) Mohanty (1928–2023). -/- Professor J. N. Mohanty has characterized his life and philosophy as being both “inside” and “outside” East and West, i.e., inside and outside traditions of India and those of the West, living in both India and United States: geographically, culturally, and philosophically; while also traveling the world: Melbourne to Moscow. Most of his academic time was spent teaching at the University of Oklahoma, The New School Graduate Faculty, and finally Temple University. Yet his (...) preeminent work in Husserlian phenomenology developed alongside his eminent work in Indian philosophy: describing his interests as “a fusion of disparate horizons.” -/- J. N. Mohanty was born September 26, 1928, in Cuttack (Odisha, East India). After graduating from high school, he went on to study both Indian and Western philosophy in Calcutta, earning bachelor’s and master’s degrees. There he read Whitehead and Kant’s First Critique; although he wanted to include mathematics in his curriculum, he was led instead to include Indian philosophy and Sanskrit. On the shelves of his teacher, Ras Vihar Das, he came upon a copy of the English translation (Ideas I, 1931) of Edmund Husserl’s classic Ideen I (1913), which presented Husserl’s ground-breaking conception of phenomenology. In 1952–1954 he left India for the first time, reaching Göttingen to study mathematics and philosophy, which earned him a doctorate in mathematics and “philosophy of mathematical sciences” (in his own words). In Göttingen, Mohanty found the powerful mathematical world that Husserl himself had earlier interacted with, where several Husserl students had formed the Göttingen school of phenomenology. During these years Mohanty studied primarily mathematics, alongside Kant and also Vedic Sanskrit. From his friend Günter Patzig, interpreter of Aristotle and Frege, Mohanty was drawn to Frege in relation to mathematical logic. He attended lectures of Heidegger, intrigued by his ontological thinking. Yet, despite the Husserlian legacy, Mohanty was completely self-taught in his studies of Husserl (as he has reported). With a doctorate in mathematics, and ideas from Kant and Frege in his philosophical background, Mohanty set about crafting his own conception of philosophy grounded in phenomenology, drawing on Husserl’s extensive work, critically sifting through Husserl’s texts and their emerging concepts of intentionality, meaning, subject, intersubjectivity, and world. In between he wrote his first book-length study: on phenomenological insights in Nicolai Hartmann and A. N. Whitehead (1958). -/- Over many decades Mohanty formulated and argued, in analytical detail, for a conception of phenomenology and its place in philosophy, later presented in a clear and concise book titled Transcendental Phenomenology: An Analytic Account (1989). Over these very decades the same scholar explored classical and recent Indian philosophy, thinking through kindred ideas of consciousness, self, and knowledge drawn from the Indian philosophical contexts. While writing on Nyāya theory of truth, he also pondered whether the world and finite individual are illusory or real, and whether Marx, Arendt, Gandhi (whom he heard speak in Calcutta), or Vinoba Bhave (with whom he marched across India for the land-grant movement) could best navigate post-Independent India’s social and svarāj or self-rule reforms. The two Mohantys, thinking through a vision of self and world, turned out to be “non-different” or “non-dual” as they each practiced critical phenomenology from both inside and outside the respective philosophical and cultural traditions. Numerous students, fellows, and colleagues or collaborators have benefited immensely from this infusion and unified approach to diversity in philosophical thought. In the 2000s, moving into retirement, Mohanty wrote two long books devoted to his understanding of Husserl and phenomenology and the calling of philosophy itself. This two-volume study shows Mohanty himself thinking through Husserl, critically, in The Philosophy of Edmund Husserl: A Historical Introduction (2008), and Edmund Husserl’s Freiburg Years: 1916–1938. As Mohanty worked on Husserl, he carefully indicated where he agreed and where he rejected or changed ideas, all part of his practice in phenomenology of “description and interpretation.” It was the same pattern he used in addressing the thought of Husserl vis-à-vis Kant or Frege or even Quine. -/- As Mohanty developed his understanding of phenomenology over the years, he wrote books on theory of meaning and the concept of intentionality, developing a model of ideal meaning and its foundation in intentionality, drawing on Husserl’s results. He followed these with the book Husserl and Frege (1982), linking the thought of those foundational figures for the “continental” and “analytic” traditions, respectively, in twentieth-century Western philosophy. Over his long career Mohanty addressed both traditions in his clear and accessible writing style. While developing his views on phenomenology, Mohanty regularly looked to “Husserl and his others,” evaluating views in Heidegger, Sartre, Merleau-Ponty, Ricoeur, and then Derrida and others in the wake of Husserl. With his background in Kant, Mohanty also looked toward Heidegger and Hegel in relation to Husserl’s later work in the Crisis (1935–38). Similarly, he looked to contemporary analytic philosophers, adjudicating his own, oft-wise Husserlian views in relation to Frege, Nagel, and others. Amid his active scholarly career, Mohanty co-founded the journal Husserl Studies, and was editorial advisor to Philosophy & Phenomenological Research, Philosophy East & West, Journal of Indian Philosophy, Sophia, among others. -/- Yet all this while Mohanty was also thinking and writing about Indian philosophy and its relation to phenomenology. In his own retrospective, Indian philosophy is “the permanent background” of his Husserlian thinking, while Kant is the recurrent Western background of his Husserlian phenomenology. Mohanty’s form of “transcendental phenomenology” evolved, in his own perspective, against the background of his studies of Navya-Nyāya on logic and Vedānta on consciousness, in Indian philosophy, and against the background of Kant’s First Critique on the transcendental, in Western philosophy. Accordingly, Mohanty’s study of logical form and of the intentionality of consciousness seeks a fusion of East and West in the conception of transcendental phenomenology. (Cf. Mohanty’s apt response to critics in The Empirical and the Transcendental (2000).) Even in the context of North American Husserl scholarship, Mohanty has exercised an earnest fusion of East and West. For the so-called East Coast and West Coast interpretations of Husserl’s crucial notion of noema both find a sympathetic spirit in J. N. Mohanty’s careful and nuanced interpretation of Husserlian transcendental phenomenology. With Mohanty the two faces of the noema are the logical (Fregean) and the phenomenal (Kantian), and these views of intentional structure join in consciousness—in a way resonant with Indian thought. -/- - David Woodruff Smith (UC Irvine) and Purushottama Bilimoria (SFSU, San Francisco; University of Melbourne) -/- For photo of Prof Mohanty visit APA online memorial_minutes2023 Courtesy of APA Memorial Minutes (& Proceedings) 2023 . (shrink)

Many manipulation arguments against compatibilism rely on the claim that manipulation is relevantly similar to determinism. But we argue that manipulation is nothing like determinism in one relevant respect. Determinism is a "universal" phenomenon: its scope includes every feature of the universe. But manipulation arguments feature cases where an agent is the only manipulated individual in her universe. Call manipulation whose scope includes at least one but not all agents "existential manipulation." Our responsibility practices are impacted in different ways by (...) universal and existential phenomena. And this is a relevant difference, especially on Strawsonian approaches to moral responsibility, which take facts about our responsibility practices to be deeply connected to the nature of responsibility itself. We argue that Strawsonian accounts of moral responsibility are immune to manipulation arguments, and no attempt to modify the scope of manipulation or determinism featured in these arguments will help incompatibilists secure their desired conclusion. (shrink)

Despite his impressive influence on nineteenth-century philosophy, F. A. Trendelenburg's own philosophy has been largely ignored. However, among Kant scholars, Trendelenburg has always been remembered for his feud with Kuno Fischer over the subjectivity of space and time in Kant's philosophy. The topic of the dispute, now frequently referred to as the ?Neglected Alternative? objection, has become a prominent issue in contemporary discussions and interpretations of Kant's view of space and time. The Neglected Alternative contends that Kant unjustifiably moves from (...) the claim that we have a priori intuitions of space and time to the sceptical conclusion that space and time are exclusively subjective. Most current discussions trace the objection back to Trendelenburg and often use him to motivate the objection. However, to date Trendelenburg's actual arguments and reasons for rejecting the Kantian view of space and time have not been sufficiently uncovered; my goal here is to fill this lacuna. By better understanding what Trendelenburg actually argued, we will be in a better position to assess whether the Neglected Alternative objection against Kant is successful. But in addition, Trendelenburg's own system is of independent philosophical interest, and my work here will shed light on one part of it. (shrink)

Sometimes it’s not certain which of several mutually exclusive moral views is correct. Like almost everyone, I think that there’s some sense in which what one should do depends on which of these theories is correct, plus the way the world is non-morally. But I also think there’s an important sense in which what one should do depends upon the probabilities of each of these views being correct. Call this second claim “moral uncertaintism”. In this paper, I want to address (...) an argument against moral uncertaintism offered in the pages of this journal by Brian Weatherson, and seconded elsewhere by Brian Hedden, the crucial premises of which are: that acting on moral uncertaintist norms necessarily involves motivation by reasons or rightness as such, and that such motivation is bad. I will argue that and are false, and that at any rate, the quality of an agent’s motivation is not pertinent to the truth or falsity of moral uncertaintism in the way that Weatherson’s and Hedden’s arguments require. (shrink)

Gruber and Smith (2019) have conducted some interesting virtual reality (VR) experiments, but we think that these experiments fail to illuminate why people think that the present is special. Their experiments attempted to test a suggestion by Hartle (2005) that with VR one might construct scenarios in which people experience the same present twice. If that’s possible, then it could give us a reason to think that when we experience the present as being special, that’s not because it’s objectively (...) so. Instead, our experience of the present being special is a feature of having a psychology like ours. While we are sympathetic to the thought that there is no objective present, we do not think that these experiments give us a reason to think this. That said, VR experiments, such as Gruber and Smith’s, hold much promise for being able to illuminate various aspects of our temporal psychology.According to Hartle’s (2005) IGUS model (which is meant to resemble entities like us) sensory information is routed to two kinds of processes: conscious processes C, which cause behavior, and unconscious processes, U, which construct a schematic representation of the environment. Hartle proposed that we experience the present as being special because of the sensory information at a time entering into C. For Gruber et al. (2020), the succession of sensory information entering into C underpins our experience of time passing. Our experience of time passing is illusory because it fails to be verid... (shrink)

Mark Johnston (2016, 2017) has raised concerns that a worm-theoretic account of persistence through time is incompatible with ethical singularity: that within the life of any actual person, there is only one morally considerable being, namely that person. To deny ethical singularity is to deny a core feature of our ordinary ethical and prudential thinking. The worm theory, Johnston concludes, proves to be “disastrous … for our ordinary moral outlook”. This paper defends the worm theory from Johnston’s argument. Though I (...) agree that the worm theory must deny ethical singularity, it can nevertheless be squared with our ordinary ethical thinking by adopting a temporal counterpart analysis of temporal predication (‘x will be F’, ‘x was previously F’, etc.) for those morally considerable beings involved in a person’s life that are not the person. (shrink)

In his [1937, 1938], Paul Dirac proposed his “Large Number Hypothesis” (LNH), as a speculative law, based upon what we will call the “Large Number Coincidences” (LNC’s), which are essentially “coincidences” in the ratios of about six large dimensionless numbers in physics. Dirac’s LNH postulates that these numerical coincidences reflect a deeper set of law-like relations, pointing to a revolutionary theory of cosmology. This led to substantial work, including the development of Dirac’s later [1969/74] cosmology, and other alternative cosmologies, such (...) as the Brans-Dicke modification of GTR, and to extensive empirical tests. We may refer to the generic hypothesis of “Large Number Relations” (LNR’s), as the proposal that there are lawlike relations of some kind between the dimensionless numbers, not necessarily those proposed in Dirac’s early LNH. Such relations would have a profound effect on our concepts of physics, but they remain shrouded in mystery. Although Dirac’s specific proposals for LNR theories have been largely rejected, the subject retains interest, especially among cosmologists seeking to test possible variations in fundamental constants, and to explain dark energy or the cosmological constant. In the first two sections here we briefly summarize the basic concepts of LNR’s. We then introduce an alternative LNR theory, using a systematic formalism to express variable transformations between conventional measurement variables and the true variables of the theory. We demonstrate some consistency results and review the evidence for changes in the gravitational constant G. The theory adopted in the strongest tests of Ġ/G, by the Lunar Laser Ranging (LLR) experiments, assumes: Ġ/G = 3(dr/dt)/r – 2(dP/dt)/P – (dm/dt)/m, as a fundamental relationship. Experimental measurements show the RHS to be close to zero, so it is inferred that significant changes in G are ruled out. However when the relation is derived in our alternative theory it gives: Ġ/G = 3(dr/dt)/r – 2(dP/dt)/P – (dm/dt)/m – (dR/dt)/R. The extra final term (which is the Hubble constant) is not taken into account in conventional derivations. This means the LLR experiments are consistent with our LNR theory (and others), and they do not really test for a changing value of G at all. This failure to transform predictions of LNR theories correctly is a serious conceptual flaw in current experiment and theory. (shrink)

Perhaps the question “What is philosophy?” can only be posed late in life, when old age has come, and with it the time to speak in concrete terms. It is a question one poses when one no longer has anything to ask for, but its consequences can be considerable. One was asking the question before, one never ceased asking it, but it was too artificial, too abstract; one expounded and dominated the question, more than being grabbed by it. There are (...) cases in which old age bestows not an eternal youth, but on the contrary a sovereign freedom, a pure necessity where one enjoys a moment of grace between life and death, and where all the parts of the machine combine to dispatch into the future a trait that traverses the ages: Turner, Monet, Matisse. The elderly Turner acquired or conquered the right to lead painting down a deserted path from which there was no return, and that was no longer distinguishable from a final question. In the same way, in philosophy, Kant’s Critique of Judgment is a work of old age, a wild work from which descendants will never cease to flow.We cannot lay claim to such a status. The time has simply come for us to ask what philosophy is. And we have never ceased to do this in the past, and we already had the response, which has not varied: philosophy is the art of forming, inventing, and fabricating concepts. But it was not only necessary for the response to take note of the question; it also had to determine a time, an occasion, the circumstances, the landscapes and personae, the conditions and unknowns of the question. One had to be able to pose the question “between friends” as a confidence or a trust, or else, faced with an enemy, as a challenge, and at the same time one had to reach that moment, between dog and wolf, when one mistrusts even the friend. Gilles Deleuze was professor of philosophy at the University of Paris VIII, Vincennes-St.-Denis, until his retirement in 1987. Among his books translated into English are the two-volume Capitalism and Schizophrenia , the two-volume Cinema , The Logic of Sense , and Expressionism in Philosophy: Spinoza . Daniel W. Smith is a doctoral candidate in philosophy at the University of Chicago. He is at work on a study of the philosophy of Deleuze, and is translating Deleuze’s Francis Bacon: Logique de la sensation. Arnold I. Davidson, executive editor of Critical Inquiry, teaches philosophy at the University of Chicago and is currently Marta Sutton Weeks Fellow at the Stanford Humanities Center. (shrink)

The goal of the OBO (Open Biomedical Ontologies) Foundry initiative is to create and maintain an evolving collection of non-overlapping interoperable ontologies that will offer unambiguous representations of the types of entities in biological and biomedical reality. These ontologies are designed to serve non-redundant annotation of data and scientific text. To achieve these ends, the Foundry imposes strict requirements upon the ontologies eligible for inclusion. While these requirements are not met by most existing biomedical terminologies, the latter may nonetheless support (...) the Foundry’s goal of consistent and non-redundant annotation if appropriate mappings of data annotated with their aid can be achieved. To construct such mappings in reliable fashion, however, it is necessary to analyze terminological resources from an ontologically realistic perspective in such a way as to identify the exact import of the ‘concepts’ and associated terms which they contain. We propose a framework for such analysis that is designed to maximize the degree to which legacy terminologies and the data coded with their aid can be successfully used for information-driven clinical and translational research. (shrink)

There is a need recognized by the National Institute of Dental & Craniofacial Research and the National Cancer Institute to advance basic, translational and clinical saliva research. The goal of the Salivaomics Knowledge Base (SKB) is to create a data management system and web resource constructed to support human salivaomics research. To maximize the utility of the SKB for retrieval, integration and analysis of data, we have developed the Saliva Ontology and SDxMart. This article reviews the informatics advances in saliva (...) diagnostics made possible by the Saliva Ontology and SDxMart. (shrink)

Review of Dowek, Gilles, Computation, Proof, Machine, Cambridge University Press, Cambridge, 2015. Translation of Les Métamorphoses du calcul, Le Pommier, Paris, 2007. Translation from the French by Pierre Guillot and Marion Roman.

This edited volume of twelve essays originated with a conference on translation held at the University of Texas at Dallas in 2009. A guiding hope of the conference and volume, summarized in the afterword, is that the humanities should pay greater attention to the practice of translation (301). By detailing its nuances and difficulties, the volume challenges the view, sometimes found in philosophy departments, that translation is a rather straightforward process, and significantly less important to the field than original research (...) or monographs. In addition, a second motivation is the relative dearth of translated Chinese texts available in English, compared to the numbers of Western canonical texts long since available in Chinese (1). In response, the volume offers practical and theoretical discussions of how to translate premodern China for the contemporary Western reader. (shrink)

In The Rationality of Induction, David Stove presents an argument against scepticism about inductive inference—where, for Stove, inductive inference is inference from the observed to the unobserved. Let U be a finite collection of n particulars such that each member of U either has property F-ness or does not. If s is a natural number less than n, define an s-fold sample of U as s observations of distinct members of U each either having F-ness or not having F-ness. Let (...) pU denote the proportion of members of U that are Fs and, if S is an s-fold sample of U, let pS denote the proportion of members of S that are Fs. Call S representative if and only if |pS – pU|<0.01. Stove‘s argument against inductive scepticism is built on the following statistical fact: -/- As s gets larger the proportion of all possible s-fold samples of U that are representative gets closer to 1 (regardless of the size of U or of the value of pU). -/- In this essay I subject Stove‘s argument to thorough scrutiny. I show that the argument – as it stands – is incomplete, and I illuminate the issues involved in trying to fill the gaps. Along the way I demonstrate that one of the commonest objects to Stove‘s argument misses the point. -/- . (shrink)

Wittgenstein's farcical clash with literary critic F. R. Leavis over the analysis of Empson's poem "Legal Fiction" is well known to devotees of Wittgenstein's life (Ludwig Wittgenstein: Personal Recollections (1981), edited by Rush Rhees, Oxford: Basil Blackwell, 80). Less well known is the value of studying Empson's artistic and intellectual achievement as part of the wider cultural background for the appreciation of Wittgenstein's views and influence, early and late. This talk sketches some diverting byways awaiting further exploration. A recurrent theme (...) is contradiction. (shrink)

that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins in terms of just one or two specific aspects. Thus SCOP (Structural Classification of Proteins) is described as classifying proteins on the basis of structural features; SWISSPROT annotates proteins on the basis of their structure and of parameters like post-translational modifications. Such data sources are connected to each other by pairwise term-to-term mappings. However, there are obstacles which stand in the (...) way of combining them together to form a robust meta-classification of the needed sort. We discuss some formal ontological principles which should be taken into account within the existing datasources in order to make such a metaclassification possible, taking into account also the Gene Ontology (GO) and its application to the annotation of proteins. (shrink)

The magisterial analyses of logic and meaning advanced in Husserl's Logical Investigations of 1900/01 have for a number of reasons been neglected by analytical philosophers in subsequent decades. This state of affairs has to do, in part, with the history of the editions and translations of Husserl's writings. Findlay's readable but imperfect translation appeared seventy years after the work itself was first published, and the editors and translators and expositors of Husserl's works have reflected the prevailing philosophical atmosphere on the (...) Continent by concentration their energies on Husserl's later writings. Now, however, over eighty years after the appearance of Husserl's one true masterpiece, a critical edition of the work is at last available in completed form. We here analyze the structure and content of this new edition, published as part of the Husserliana series by the Husserl Archive in Louvain. (shrink)

I defend the Seventh Letter, traditionally attributed to Plato, against Michael Frede's argument that it presents a political philosophy inconsistent with that found in the Laws. Frede argues that Plato had given up the idea of the philosopher-king in his Laws, but the 7th Letter seems to be still committed to the project. I argue the Laws, particularly with the introduction of the Nocturnal Council, has Philosopher-Rulers in all but name. I consider the education of the Nocturnal Council and how (...) it functions relative to the other constitutional structures of Magnesia. Frede advances several other arguments that the 7th Letter is spurious, but it at least escapes the most damning charge that it is inconsistent with the Laws philosophically. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

The goal of creating Artificial General Intelligence (AGI) – or in other words of creating Turing machines (modern computers) that can behave in a way that mimics human intelligence – has occupied AI researchers ever since the idea of AI was first proposed. One common theme in these discussions is the thesis that the ability of a machine to conduct convincing dialogues with human beings can serve as at least a sufficient criterion of AGI. We argue that this very ability (...) should be accepted also as a necessary condition of AGI, and we provide a description of the nature of human dialogue in particular and of human language in general against this background. We then argue that it is for mathematical reasons impossible to program a machine in such a way that it could master human dialogue behaviour in its full generality. This is (1) because there are no traditional explicitly designed mathematical models that could be used as a starting point for creating such programs; and (2) because even the sorts of automated models generated by using machine learning, which have been used successfully in areas such as machine translation, cannot be extended to cope with human dialogue. If this is so, then we can conclude that a Turing machine also cannot possess AGI, because it fails to fulfil a necessary condition thereof. At the same time, however, we acknowledge the potential of Turing machines to master dialogue behaviour in highly restricted contexts, where what is called “narrow” AI can still be of considerable utility. (shrink)

Define teleology as the view that requirements hold in virtue of facts about value or goodness. Teleological views are quite popular, and in fact some philosophers (e.g. Dreier, Smith) argue that all (plausible) moral theories can be understood teleologically. I argue, however, that certain well-known cases show that the teleologist must at minimum assume that there are certain facts that an agent ought to know, and that this means that requirements can't, in general, hold in virtue of facts about (...) value or goodness. I then show that even if we grant those 'ought's teleology still runs into problems. A positive justification of teleology looks like it will require an argument of this form: O(X); if X, then O(Y); therefore O(Y). But this form of argument isn't in general valid. I conclude by offering two positive suggestions for those attracted to a teleological outlook. (shrink)

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

French translation of "Truth-Makers" (1984). A realist theory of truth for a class of sentence holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core (...) of our theory is the account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. The authors uphold the mutual independence of logical and ontological complexity. The theory is compared with that of Wittgenstein’s Tractatus, and the authors outline formal principles of truthmaking taking account of both kinds of complexity and suggesting how to overcome Wittgenstein’s problem of negation. (shrink)

The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, (...) ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities. (shrink)

Polish translation of "John Searle: From Speech Acts to Social Reality", -/- We provide an overview of Searle's contributions to speech act theory and the ontology of social reality, focusing on his theory of constitutive rules. In early versions of this theory, Searle proposed that all such rules have the form 'X counts as Y in context C' formula – as for example when Barack Obama (X) counts as President of the United States (Y) in the context of US political (...) affairs. Crucially, the X and the Y terms are here identical. A problem arises for this theory for cases involving 'free-standing Y terms', as for example in the case of money in a computerized bank account. Here there is no physical X to which a status function might be attached. We conclude by arguing that Searle's response to this problem creates difficulties for his naturalistic framework. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:diacritics 35.1 (2005) 8-21MuseSearchJournalsThis JournalContents[Access article in PDF]Klossowski's Reading of Nietzsche Impulses, Phantasms, Simulacra, StereotypesDaniel W. SmithIn his writings on Nietzsche, Pierre Klossowski makes use of various concepts—such as intensities, phantasms, simulacra and stereotypes, resemblance and dissemblance, gregariousness and singularity—that have no place in Nietzsche's own oeuvre. These concepts are Klossowski's own creations, his own contributions to thought. Although Klossowski consistently refused to characterize himself as a philosopher ("Je (...) suis une 'maniaque,'" he once said, "Un point, c'est tout!"),1 his work in its entirety was marked by an extraordinary conceptual creation. From this point of view, his Nietzsche and the Vicious Circle can be read as a work in philosophy—at least in the idiosyncratic sense given to this term by Gilles Deleuze, who defined philosophy as the creation or invention of concepts [Deleuze and Guattari 2]. No doubt, Klossowski remains an almost unclassifiable figure—philosopher, novelist, essayist, translator, artist—and attempting to analyze his work through the prism of philosophy may seem to be a reductive approach that belies the complexity of his exceptional oeuvre. Reading Klossowski as a conceptual innovator, however, at least has the advantage of allowing us to chart a consistent trajectory through his difficult and often labyrinthine text, without denying its other dimensions (affective, perceptive, literary, and so on). In what follows, then, I would like to examine three of Klossowski's most characteristic and important concepts—impulses and their intensities, phantasms, and simulacra and their stereotypes—as well as the precise interrelations he establishes among them. Taken together, these three concepts describe what Klossowski terms the tripartite economy of soul, which constitutes the implicit model through which he interprets Nietzsche's thought.1Impulses as Fluctuating IntensitiesKlossowski describes his books on both Nietzsche and Sade as "essays devoted not to ideologies but to the physiognomies of problematic thinkers who differ greatly from each other" ["Postface" 137, emphasis added]. This emphasis on the "physiognomy" of thinkers reflects Nietzsche's insistence on taking the body rather than the mind as a guide for philosophy since the body is a more accessible phenomenon, less surrounded by myth and superstition. "The body and physiology as the starting point," Nietzsche wrote. "Why?... The phenomenon of the body is the richer, clearer, more tangible [End Page 8] phenomenon.... Belief in the body is more fundamental than belief in the soul" [WP §§492, 489, 491]. Klossowski himself, however, when writing of the intensive status of the impulses, frequently makes use of the term "soul" (âme), owing in part, no doubt, to his interest in the theological literature of the mystics, such as Meister Eckhardt and Teresa of Avila. For the mystics, the depth of the soul is something irreducible and uncreated: it eludes the exercise of the created intellect, and can only be grasped negatively.2 Nonetheless, if one can find a similar apophaticism (or "negative theology") in Klossowski, it is related exclusively to the immanent and chaotic movements of the soul's intensive affects, and not to the transcendence of God. What is incommunicable in the soul (or body) are its "impulses"—their fluctuations of intensity, their rises and falls, their manic elations and depressive descents, which are in constant variation.Nietzsche himself had recourse to a highly varied vocabulary to describe what Klossowski summarizes in the term "impulse": "drive" (Triebe), "desire" (Begierden), "instinct" (Instinke), "power" (Mächte), "force" (Kräfte), "impulse" (Reize, Impulse), "passion" (Leidenschaften), "feeling" (Gefülen), "affect" (Affekte), "pathos" (Pathos), and so on.3 Klossowski frequently employs the musical term tonalité to describe these states of the soul's fluctuating intensities—their diverse tones, timbres, and changing amplitudes—which can take on various forms ("aggressiveness, tolerance, intimidation, anguish, the need for solitude, the forgetting of oneself" [NVC 6]). At bottom, what these impulses express are what Klossowski calls the "obstinate singularity" of the human soul, which is by nature noncommunicable; they constitute "the unexchangeable depth" (le fond inéchangeable) or "the unintelligible depth" (le fond unintelligible) of the soul. What makes every individual... (shrink)

Scrutiny (1932-1953) was one of the most important critical reviews of the last century. Its editors and contributors included F. R. Leavis, Q. D. Leavis, Denys Thompson, L. C. Knights, D. W. Harding, W. H. Mellers, H. A. Mason, among others. In recasting Scrutiny’s critique of mass culture by way of Alisdair MacIntyre’s After Virtue (1981), I hope to show that the Scrutiny project not only dramatizes the conflicts internal to what MacIntyre calls emotivist culture, but provides a new way (...) of looking at the group’s relation to the culture industry, its purported elitism, and its deep ties with a communitarian rather than socialist politics. (shrink)

The remarks which follow are intended to address a certain apparent asymmetry as between German and Anglo-Saxon philosophy. Put most simply, it is clear to every philosopher moving backwards and forwards between the two languages that the translation of an Anglo-Saxophone philosophical text into German is in general a much easier task than is the translation of a German philosophical text into English. The hypothesis suggests itself immediately that this is so because English philosophical writings are in the main clear (...) and intelligible, and therefore easy to translate. The texts of German philosophy, on the other hand, both classical and contemporary, seem in many cases to be marked by stylistic obscurities or idiosyncracies of a sort which make them not translatable in the strict sense at all. (shrink)

The Plant Ontology (PO; http://www.plantontology.org/) is a publicly-available, collaborative effort to develop and maintain a controlled, structured vocabulary (“ontology”) of terms to describe plant anatomy, morphology and the stages of plant development. The goals of the PO are to link (annotate) gene expression and phenotype data to plant structures and stages of plant development, using the data model adopted by the Gene Ontology. From its original design covering only rice, maize and Arabidopsis, the scope of the PO has been expanded (...) to include all green plants. The PO was the first multi-species anatomy ontology developed for the annotation of genes and phenotypes. Also, to our knowledge, it was one of the first biological ontologies that provides translations (via synonyms) in non-English languages such as Japanese and Spanish. There are about 2.2 million annotations linking PO terms to over 110,000 unique data objects representing genes or gene models, proteins, RNAs, germplasm and Quantitative Traits Loci (QTLs) from 22 plant species. In this paper, we focus on the plant anatomical entity branch of the PO, describing the organizing principles, resources available to users, and examples of how the PO is integrated into other plant genomics databases and web portals. We also provide two examples of comparative analyses, demonstrating how the ontology structure and PO-annotated data can be used to discover the patterns of expression of the LEAFY (LFY) and terpene synthase (TPS) gene homologs. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Plato on Knowledge as a Power1Nicholas D. SmithAt 471C4 in Plato’s Republic, the argument takes a sudden turn when Glaucon becomes impatient with all of the specific prescriptions Socrates has been making, and asks to return to the issue Socrates had earlier set aside—whether or not the city he was describing could ever be brought into being. In response to Glaucon’s impatient question, Socrates articulates his “third wave of (...) paradox” (472ag–7), namely, that the ills of the cities will never be ended until either philosophers become rulers or rulers become philosophers (473c11–d6). Glaucon immediately responds that such a view is likely to be greeted with violence and scorn (473e6–474a4), and so Socrates must hasten to explain his odd claim. His explanation, it turns out, is that true philosophers have an enormous cognitive advantage over non-philosophers—philosophers have and use knowledge (ἐπιστήμη), whereas non-philosophers have and use only opinion (δόξα).2 This distinction, between επιστήμη and δόξα, turns out: to be a distinction between two different cognitive powers (δυνάμεις—477d7–e3). And different powers, Plato clearly tells us, apply to or take as their objects (Plato says they are “ἐπί”) different things (477dl).In this paper, I shall argue that the relationship between the cognitive powers and their various objects has been fundamentally misunderstood, which has led scholars into one or more misinterpretations of important and explicit features of the text. At the heart of these misunderstandings, I claim, is [End Page 145] their shared misconception of the relation between the cognitive power and its objects as interpretable in terms of the relationship between a cognitive stale and what the content of that state is of or about.3 One consequence of the view for which I shall argue is that what has come to be known as the “two-worlds theory”4 of Plato’s epistemology is seriously mistaken, but no less mistaken than the alternatives given by its recent critics. Another consequence that I shall draw from my argument is that Plato should be understood neither as a kind of foundationalist with regard to knowledge and warrant, as some have supposed him to be,5 nor as a coherentist, as others have supposed,6 but, rather, as a kind of causal reliabilist. [End Page 146]1. KNOWLEDGE AS A POWERScholarly interpretations of Plato’s epistemology have routinely sought to understand the relationships between each cognitive power of Republic Book V and the objects of the ἐφ’ ᾦ (“what it is related to”) condition by which it is differentiated from other δυνάμεις as Plato’s way of telling us what each sort of cognition is of or aboul. 7 So, for example, we find Gail Fine using the expressions “belief [δόξα] is set over [Fine’s translation of Plato’s ἐπί] …” and “knowledge is set over …” interchangeably with “belief is of …” or “belief is about…” and “knowledge is of …” or “knowledge is about …”8 Against the “two-worlds theory,” Fine argues that, for Plato, there can be knowledge of sensibles and beliefs about Forms. Accordingly, since she assimilates the power-ἐπί-object set of relations to the cognilion-of/about-object relation, she concludes—in order to account for knowledge of sensibles and beliefs about Forms—that the objects of knowledge and opinion must be propositions. Plato’s claims that knowledge is ἐπί what is, whereas opinion is ἐπί what is and is not, Fine understands as, “One can only know true propositions; one can believe both true and false propositions.”9 We shall see later that this “veridical” understanding of what Plato means to identify as “what is,” and “what is and is not” fails to account for important and explicit elements of Plato’s exposition of the epistemological and metaphysical distinctions he is making. For now, it is enough to note that Fine understands the ἐφ’ᾦ) relation in terms of our cognition-of/about-object relation. One finds the same assimilation made by those who advance existential readings of Plato’s “is” and “is not,”10 as [End Page 147] well as those who have urged that we adopt predicative readings of “is” and “is not.”11But I think there are very serious problems with this assimilation. Plato is very... (shrink)

Ontology, since Aristotle, has been conceived as a sort of highly general physics, a science of the types of entities in reality, of the objects, properties, categories and relations which make up the world. At the same time ontology has been for some two thousand years a speculative enterprise. It has rested methodologically on introspection and on the construction and analysis of elaborate world-models and of abstract formal-ontological theories. In the work of Quine and others this ontological theorizing in abstract (...) fashion about the world was supplemented by the study, based on the use of logical methods, of the ontological commitments or presuppositions embodied in scientific theories. In recent years both types of ontological study have found application in the world of information systems, for example in the construction of frameworks for knowledge representation and in database design and translation. As ontology is in this way drawn closer to the domain of real-world applications, the question arises as to whether it is possible to use empirical methods in studying ontological theories. More specifically: can we use empirical methods to test the ontological theories embodied in human cognition? We set forth the outlines of a framework for the formulation and testing of such theories as they relate to the specific domain of geographic objects and categories. (shrink)

What follows is a contribution to the theory of space and of spatial objects. It takes as its starting point the philosophical subfield of ontology, which can be defined as the science of what is: of the various types and categories of objects and relations in all realms of being. More specifically, it begins with ideas set forth by Aristotle in his Categories and Metaphysics, two works which constitute the first great contributions to ontological science. Because Aristotle’s ontological ideas were (...) developed prior to the scientific discoveries of the modern era, he approached the objects and relations of everyday reality with the same ontological seriousness with which scientists today approach the objects of physics. We shall seek to show that what Aristotle has to say about these commonsensical objects and relations can, when translated into more formal terms, be of use also to contemporary ontologists. More precisely, we shall argue that his ideas can contribute to the development of a rigorous theory of those social and institutional components of everyday reality – the settings of human behavior – which are the subject of this volume. When modern-day philosophers turn their attentions to ontology they begin not with Aristotle but rather, in almost every case, with a set-theoretic ontology of the sort which is employed in standard model-theoretic semantics. Set-theoretic ontology sees the world in atomistic terms: it postulates a lowest level of atoms or urelements, from out of which successively higher levels of set-theoretic objects are then constructed. The approach to ontology to be defended here, in contrast, starts not with atoms but with the mesoscopic objects by which we are surrounded in our normal day-to-day.. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power and (...) great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations. (shrink)

Translation of "Von der Armut am Geiste; ein Dialog des jungen Lukács," by Ágnes Heller. This translation originally appeared in The Philosophical Forum, Spring-Summer 1972.